<HTML>
  <HEAD>
    <TITLE>Yet Another JVM</TITLE>
    <LINK HREF="doxygen.css" REL="stylesheet" TYPE="text/css">
    <style>
      .header_configuration {
        font-weight: bold;
        font-size: large;
        text-align: center;
      }
      .footer_configuration {
        font-size: large;
        text-align: right;
      }
    </style>
  </HEAD>
  <BODY>
    <DIV CLASS=header_configuration>
      <IMG SRC="../html_custom/logounb.jpg"><BR>
      Universidade de Bras&iacute;lia<BR>
      Software B&aacute;sico
    </DIV>
    <link href="$relpath$doxygen.css" rel="stylesheet" type="text/css">
    <link href="$relpath$tabs.css" rel="stylesheet" type="text/css">
